University of Tokyo: Advanced Algorithms Summer 2010 Lecture 9 — 17 June Lecturer: Christian Sommer

Source URL: www.sommer.jp

SPECIAL SECTION: LOW ENERGY NUCLEAR REACTIONS Status of cold fusion research in Japan Akira Kitamura* Technova Inc., Tokyo, Japan and Kobe University, Kobe, Japan

Source URL: brillouinenergy.com

Improved Quantum Algorithm for Triangle Finding via Combinatorial Arguments Franc¸ois Le Gall The University of Tokyo Technical version available at arXiv:quant-ph].

Source URL: www.quantum-lab.org

Type Systems for Concurrent Programs Naoki Kobayashi The University of Tokyo Abstract. Type systems for programming languages help reasoning about

Source URL: www-kb.is.s.u-tokyo.ac.jp

A New Type System for Deadlock-Free Processes Naoki Kobayashi Graduate School of Information Sciences, Tohoku University Abstract. We extend a previous type system for the π-calculus that

Source URL: www-kb.is.s.u-tokyo.ac.jp

Freeform Rigid-Foldable Structure using Bidirectionally Flat-Foldable Planar Quadrilateral Mesh Tomohiro Tachi The University of Tokyo

Source URL: origami.c.u-tokyo.ac.jp

Learning Robust Objective Functions with Application to Face Model Fitting Matthias Wimmer1 , Sylvia Pietzsch2 , Freek Stulp3 , and Bernd Radig2 1 Faculty of Science and Engineering, Waseda University, Tokyo, Japan

Source URL: wimmerm.bplaced.net

Roboko: Integrating Visual Representations into a Text-based Programming Environment Jun Kato The University of Tokyo

Source URL: junkato.jp

An integrated database SPAD(Signaling PAthway Database) for signal transduction and genetic information Naoko Tateishi1

Source URL: www.jsbi.org

• Institute of Medical Science
• University of Tokyo
• Signal transduction
• Taipei Japanese School
• Shanghai Japanese School

Prototype of Control and User plane splitting Heterogeneous Cellular Networks KDDI R&D LABS, Panasonic, Osaka University, Tokyo Institute of Technology (JP) Fraunhofer Heinrich-Hertz-Institut, Intel Mobile Communications

Source URL: www.miweba.eu